E (SETQ $PRINT-BUDGET-MONTHLY t) READ (SALARY IN DSK (PRO HE)) READ (JPL IN DSK (PRO HE)) BUDGET total (JPL OUT DSK (PRO HE))